Stack machine

Results: 145



#Item
31ECH_Logo_Tri_Blue_FINAL_CS5

ECH_Logo_Tri_Blue_FINAL_CS5

Add to Reading List

Source URL: info.echelon.com

Language: English - Date: 2015-05-24 12:59:18
32Automatic Generation of Compact Programs and Virtual Machines for Scheme Mario Latendresse Department of Computer Science Rice University

Automatic Generation of Compact Programs and Virtual Machines for Scheme Mario Latendresse Department of Computer Science Rice University

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:10
33Deductive Verification of Data Structures Jens Gerlach DEVICE-SOFT Workshop Berlin, October 2010

Deductive Verification of Data Structures Jens Gerlach DEVICE-SOFT Workshop Berlin, October 2010

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:57
34RoboForth Tutorial page 1 ROBOTICS SELF-LEARN TUTORIAL – 5-AXIS ROBOTS R12,R17 Introduction Aim of the tutorial is to provide a comprehensive introduction to the programming and use of ST robot arms using ROBOFORTH II

RoboForth Tutorial page 1 ROBOTICS SELF-LEARN TUTORIAL – 5-AXIS ROBOTS R12,R17 Introduction Aim of the tutorial is to provide a comprehensive introduction to the programming and use of ST robot arms using ROBOFORTH II

Add to Reading List

Source URL: strobotics.com

Language: English - Date: 2015-05-06 15:59:13
35Paradyn Parallel Performance Tools  StackwalkerAPI Programmer’s Guide 8.2 Release Aug 2014

Paradyn Parallel Performance Tools StackwalkerAPI Programmer’s Guide 8.2 Release Aug 2014

Add to Reading List

Source URL: www.paradyn.org

Language: English - Date: 2014-08-19 15:19:30
361  Introduction This is a specification of a simple scheduler and assembler. The system contains a set of registers and a block of memory. Processes can be created, with each

1 Introduction This is a specification of a simple scheduler and assembler. The system contains a set of registers and a block of memory. Processes can be created, with each

Add to Reading List

Source URL: czt.sourceforge.net

Language: English - Date: 2015-04-07 21:25:18
37Defeating the Stack Based Buffer Overflow Prevention Mechanism of Microsoft Windows 2003 Server. David Litchfield () 8th September 2003

Defeating the Stack Based Buffer Overflow Prevention Mechanism of Microsoft Windows 2003 Server. David Litchfield () 8th September 2003

Add to Reading List

Source URL: www.blackhat.com

Language: English - Date: 2014-12-16 19:06:21
38Return-Oriented Programming: Systems, Languages, and Applications RYAN ROEMER, ERIK BUCHANAN, HOVAV SHACHAM and STEFAN SAVAGE University of California, San Diego  We introduce return-oriented programming, a technique by

Return-Oriented Programming: Systems, Languages, and Applications RYAN ROEMER, ERIK BUCHANAN, HOVAV SHACHAM and STEFAN SAVAGE University of California, San Diego We introduce return-oriented programming, a technique by

Add to Reading List

Source URL: cseweb.ucsd.edu

Language: English - Date: 2011-07-08 15:31:37
39Linux Storage Stack for the Cloud Oct 2013 Yeela Kaplan Software Engineer Cloud Storage Team Red Hat

Linux Storage Stack for the Cloud Oct 2013 Yeela Kaplan Software Engineer Cloud Storage Team Red Hat

Add to Reading List

Source URL: www.linux-kvm.org

Language: English - Date: 2013-11-03 05:32:00
40Weight, Weight, Don’t Tell Me: Using Scales to Select Ballots for Auditing Cynthia Sturton1 , Eric Rescorla2 , and David Wagner1 1 University  of California, Berkeley

Weight, Weight, Don’t Tell Me: Using Scales to Select Ballots for Auditing Cynthia Sturton1 , Eric Rescorla2 , and David Wagner1 1 University of California, Berkeley

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2009-07-13 14:08:20